Corrigendum to C. A. Meredith's and my paper: ``Equational logic''.

Equational Logic and Equational Theories of Algebras

Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic

We show that the generalized variant of formal systems where the underlying equational specifications are membership equational theories, and where the rules are conditional and can have equations, memberships and rewrites in the conditions is reflective. We also show that membership equational logic, many-sorted equational logic, and Horn logic with equality are likewise reflective. These resu...

Abduction and prime implicates, from propositional logic to equational logic

Contents Motivations 4 1 State of the art for prime implicate generation in propositional logic 6 1.1 Abduction and prime implicates in propositional logic .

Equational Programming : A Unifying Approach to Logic and Functional Programming

Bharat Jayaraman Department of Computer Science UniversitJI of North Carolina at Chapel Hill Chapel Hill, NC 1!151,4 Functional and logic languages have many similarities, but there are significant differences between them that the integration of functional and logic languages is a challenging problem. The approach presented in this paper is called equational programming. We show that equations...

Equational Propositional Logic

We formalize equational propositional logic, prove that it is sound and complete, and compare the equational-proof style with the more traditional Hilbert style.